Model-based testing - PDFSEARCH.IO - Document Search Engine

Model-based testing
Results: 198

#	Item
111	Institute of Architecture of Application Systems Integrating Configuration Management with Model-Driven Cloud Management Based on TOSCA Johannes Wettinger, Michael Behrendt, Tobias Binz, Uwe Breitenbücher, Gerd Breiter Add to Reading List Source URL: www.iaas.uni-stuttgart.de Language: English - Date: 2015-01-13 08:18:25 Configuration management Software testing Tosca Chef DevOps Node Cloud computing Software development Software Computing
112	Testing Telecoms Software with Quviq QuickCheck Thomas Arts John Hughes IT University of G¨oteborg, Gothenburg, Add to Reading List Source URL: www.quviq.com Language: English - Date: 2014-08-22 15:53:24 Psychometrics Software testing QuickCheck Functional languages Erlang Reductio Model-based testing Statistical hypothesis testing Validity Software Computing Statistics
113	Project Summary Acceptanstest av säkerhetskritisk plattformsprogramvara 2 Add to Reading List Source URL: www.quviq.com Language: English - Date: 2014-10-09 10:02:23 Evaluation AUTOSAR Model-based testing Acceptance testing Test strategy Requirement Software development process Test case Specification Software testing Software development Technology
114	Logic and Trace-based Object-Oriented Application Testing Michael Freidig ∗ St´ephane Ducasse Roel Wuyts† Add to Reading List Source URL: scg.unibe.ch Language: English - Date: 2004-09-23 04:29:57 Software design patterns Object-oriented programming Programming paradigms Smalltalk Actor model Metaclass Visitor pattern Self Objective-C Software engineering Computing Computer programming
115	Formal Methods in Industry: Achievements, Problems, Future Jean-Raymond Abrial Swiss Federal Institute of Technology Zurich [removed] Add to Reading List Source URL: www.irisa.fr Language: English - Date: 2006-05-20 23:41:24 Theoretical computer science Software development process Mathematical proof KeY B-Method Scientific modelling Model-based testing Formal verification Formal methods Science Software development
116	1 Rapid Property Specification and Checking for Model-Based Formalisms Daniel Balasubramanian, Gabor Pap, Harmon Nine, Gabor Karsai Add to Reading List Source URL: www.isis.vanderbilt.edu Language: English - Date: 2011-04-21 15:55:05 Software Model checkers Software testing Model checking Simulink Java Pathfinder SPIN model checker Constraint automaton Software verification Automata theory Theoretical computer science Computing
117	Microsoft Word - ibm-8265.doc Add to Reading List Source URL: www.ibm.com Language: English - Date: 2011-06-01 11:22:19 Science Evaluation Software development Acceptance testing Real Time Testing Software testing Model-based testing Software development process
118	Approved for public release; distribution is unlimited. Observation-Based Dissipation and Input Terms for Spectral Wave Models, with End-User Testing Alexander V. Babanin Swinburne University of Technology, PO Box 218, Add to Reading List Source URL: www.nopp.org Language: English - Date: 2014-12-24 10:42:25 Science Physical geography Wind wave model Breaking wave Swell Surface wave Hindcast Wind wave Dissipation Water waves Physics Physical oceanography
119	Property Verification for Generic Access Control Models Add to Reading List Source URL: csrc.nist.gov Language: English - Date: 2014-12-01 10:19:28 Model checkers Applied mathematics Model checking NuSMV Software testing Formal verification Role-based access control Software development process Formal methods Access control Security
120	Approved for public release; distribution is unlimited. Observation-Based Dissipation and Input Terms for Spectral Wave Models, with End-User Testing Alexander V. Babanin Swinburne University of Technology, PO Box 218, Add to Reading List Source URL: www.nopp.org Language: English - Date: 2014-12-24 10:50:05 Physical oceanography Wind wave model Swell Breaking wave Surface wave Wind wave Rogue wave Wave power Wave Water waves Oceanography Physics

UPDATE